Axiomatization of Boolean algebras via weak dicomplementations

摘要

In this note we give an axiomatization of Boolean algebras based on weaklydicomplemented lattices: an algebra $(L,\wedge,\vee,\tu)$ of type $(2,2,1)$ isa Boolean algebra iff $(L,\wedge,\vee)$ is a non empty lattice and $(x\wedgey)\vee(x\wedge y\tu)=(x\vee y)\wedge(x\vee y\tu)$ for all $x,y\in L$. Thisprovides a unique equation to encode distributivity and complementation onlattices.